filter($P$; $l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce(($\lambda$$a$,$v$. if $P$($a$) then cons($a$; $v$) else $v$ fi ); []; $l$)